Modeling program resource demand using inherent program characteristics
نویسندگان
چکیده
منابع مشابه
Demand Interprocedural Program Analysis Using Logic Databases
Interprocedural analysis concerns the static examination of a program that consists of multiple procedures. Its purpose is to determine certain kinds of summary information associated with the elements of a program (such as reaching definitions, available expressions, live variables, etc.). Most treatments of interprocedural analysis address the exhaustive version of the problem: summary inform...
متن کاملExploiting Inherent Program Redundancy for Fault Tolerance
Title of dissertation: Exploiting Inherent Program Redundancy for Fault Tolerance Xuanhua Li, Doctor of Philosophy, 2009 Dissertation directed by: Professor Donald Yeung Department of Electrical and Computer Engineering Technology scaling has led to growing concerns about reliability in microprocessors. Currently, fault tolerance studies rely on creating explicitly redundant execution for fault...
متن کاملAquatic Resource Program Report
River ecosystems are influenced by processes operating and interacting on a variety of spatial scales. Quantifying the interplay of large and small-scale processes is central to both a basic ecological understanding of river ecosystems as well as the development of effective watershed management strategies. A key management goal for many western rivers restricted by large dams is to restore eco...
متن کاملAquatic Resource Program Report
Our recommendations for reducing the abundance of non-native invertebrates follow many of the guidelines described for non-native fishes. Few introduced species were found on the Cosumnes River Floodplain, although analogous floodplain habitats such as the Yolo Bypass further towards San Francisco Bay reinforce our recommendations. We found the red swamp crayfish Procambarus clarkii in signific...
متن کاملDebugging Program Loops Using Approximate Modeling
Developing model-based automatic debugging strategies has been an active research area for several years. We analyze shortcomings of previous modeling approaches when dealing with objectoriented languages and present a revised modeling approach. We employ Abstract Interpretation, a technique borrowed from program analysis, to improve the debugging of programs including loops, recursive procedur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGMETRICS Performance Evaluation Review
سال: 2011
ISSN: 0163-5999
DOI: 10.1145/2007116.2007118